#ifndef TIMER_H
#define TIMER_H

#include "system_config.h"
#include "device.h"


#ifdef HAS_TIMER0
void timer0_init(unsigned int tick, void callback(void));
void timer0_start();
void timer0_stop();
#endif

#ifdef HAS_TIMER1
void timer1_init(unsigned int tick, void callback(void));
void timer1_start();
void timer1_stop();
#endif

#ifdef HAS_TIMER2
void timer2_init(unsigned int tick, void callback(void));
void timer2_start();
void timer2_stop();
#endif

#ifdef HAS_TIMER3
void timer3_init(unsigned int tick, void callback(void));
void timer3_start();
void timer3_stop();
#endif

#ifdef HAS_TIMER4
void timer4_init(unsigned int tick, void callback(void));
void timer4_start();
void timer4_stop();
#endif


#endif // TIMER_H